Leveraging Graphical User Interface Automation for Generic Robot Programming
نویسندگان
چکیده
منابع مشابه
Programming Generic Graphical User Interfaces
The GEC Toolkit offers to programmers a high-level, generic style of programming Graphical User Interfaces (GUIs). Programmers are not concerned with low-level widget plumbing. Instead, they use mathematical data models that reflect both the application logic and the visualisation. The data models and the logic are expressed as standard functional style data types and functions over these data ...
متن کاملCalife: A Generic Graphical User Interface for Automata Tools
The Calife v3.0 platform is an environment developed under the GPL licence (freely downloadable at http://calife.criltechnology.com) allowing the specification and formal validation of systems described as synchronized product of automata. The goal is not to provide another verification tool, but to interface (all?) existing tools working on automata in a unique environment. Tools can be groupe...
متن کاملCLPGUI: a generic graphical user interface for constraint logic programming over finite domains
CLPGUI is a graphical user interface for visualizing and interacting with constraint logic programs over finite domains. In CLPGUI, the user can control the execution of a CLP program through several views of constraints, of finite domain variables and of the search tree. CLPGUI is intended to be used both for teaching purposes, and for debugging and improving complex programs of realworld scal...
متن کاملPENGUIN: A language for reactive graphical user interface programming
PENGUIN is a grammar-based language for programming graphical user interfaces. Code for each thread of control in a multi-threaded application is confined to its own module, promoting modularity and reuse of code. Networks of PENGUIN components (each composed of an arbitrary number of modules) can be used to construct large reactive systems with parallel execution, internal protection boundarie...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Robotics
سال: 2020
ISSN: 2218-6581
DOI: 10.3390/robotics10010003